تعداد ۱۶ پاسخ غیر تکراری از ۱۶ پاسخ تکراری در مدت زمان ۰,۳۶ ثانیه یافت شد.

1. April 3, 2011. Procع۰ب‍cken, Germany, March 26Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr

پدیدآورنده : / Prakash Panangaden (auth.), Martin Hofmann (eds.)

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :

E-BOOK

2. Das BUCH der Beweise

پدیدآورنده : Martin Aigner, G[uml}unter M. Ziegler ; mit Zeichn. von Karl H. Hofmann.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Evidence.,Mathematics.

3. Dienstleistungseinkauf :

پدیدآورنده : Erik Hofmann, Martin Hänsel, Carsten Vollrath.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Industrial procurement-- Management.,Purchasing departments-- Management.,Service shopping.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Industrial procurement-- Management.,Purchasing departments-- Management.,Service shopping.

رده :

HD39

.

5

4. Extensional constructs in intensional type theory.

پدیدآورنده : Martin Hofmann

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :

QA76

.

9

.

A96

M378

2012

5. Foundations of Software Science and Computational Structures

پدیدآورنده : / Martin Hofmann

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :

E-BOOK

6. Graphics of large datasets

پدیدآورنده : / Antony Unwin, Martin Theus, Heike Hofmann

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Statistics , Graphic methods,Computer graphics,Electronic books. , local

رده :

E-BOOK

7. Performance measurement and incentive systems in purchasing :more than just savings

پدیدآورنده : Erik Hofmann, Daniel Maucher, Martin Kotula, Oliver Kreienbrink

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : Management ، Purchasing

رده :

HF5437

8. Programmierung von verteilten Systemen und Webanwendungen mit Java EE

پدیدآورنده : / Hofmann, Martin Hiller, Gerhard Wanner-llerیFrank M

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :

E-BOOK

9. Proofs from THE BOOK /

پدیدآورنده : by Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.,Analysis.,Combinatorics.,Geometry.,Graph Theory.,Mathematics of Computing.,Mathematics.,Number Theory.,Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.

رده :

QA39

.

3

.

A36

2018eb

10. Proofs from the Book

پدیدآورنده : \ By Martin Aigner, Gunter M. Ziegler; Including Illustrations by Karl H. Hofmann

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Mathematics,Computer science -- Mathematics,Mathematical analysis,ریاضیات,علوم کامپیوتر -- ریاضیات ,آن‍ال‍ی‍ز ری‍اض‍ی‌

رده :

E-Book

,

11. Proofs from the book

پدیدآورنده : / Martin Aigner, Gunter M. Ziegler, with 240 figures including illustrations by Karl H. Hofmann

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Mathematics

رده :

510

A289P

2001

12. Proofs from the book /

پدیدآورنده : Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Mathematics

رده :

QA36

.

A36

2004

13. 26, 2010, Revised Selected Papers-Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24

پدیدآورنده : / Martin Wirsing, Martin Hofmann, Axel Rauschmayer

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE

رده :

E-BOOK

14. Sternfreie Sprachen

پدیدآورنده : Martin Hofmann

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :

QA267

.

M378

9999

15. Trustworthly Global Computing

پدیدآورنده : / Martin Wirsing, Martin Hofmann, Axel Rauschmayer

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :

E-BOOK

16. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings

پدیدآورنده : Martin Hofmann )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Lambda calculus

رده :

QA

76

.

L28

Vol

.

2701

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها